Kite-freeP- andQ-polynomial schemes
نویسنده
چکیده
Let d denote a non-negative integer. A symmetric, d-class association scheme (or simply a scheme) is a configuration Y = (X, Ri0≤i≤d), where X is a nonempty set and R0, R1, · · · , Rd are non-empty subsets of the Cartesian product X ×X, possessing the following properties. (i) (x, y) ∈ R0 if and only if x = y (x, y ∈ X). (ii) (x, y) ∈ Ri for exactly one i (0 ≤ i ≤ d), (x, y ∈ X). (iii) R i = Ri (0 ≤ i ≤ d), where R i = {(y, x) | (x, y) ∈ Ri} (0 ≤ i ≤ d). (iv) For all integers i, j, k (0 ≤ i, j, k ≤ d), and all x, y ∈ X with (x, y) ∈ Rk, the number pij of z ∈ X such that (x, z) ∈ Ri and (z, y) ∈ Rj is a constant that depends only on i, j, k.
منابع مشابه
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0
In this work we present FREEP 1.0, a theorem prover for the KLM preferential logic P of nonmonotonic reasoning. FREEP 1.0 is a SICStus Prolog implementation of a free-variables, labelled tableau calculus for P, obtained by introducing suitable modalities to interpret conditional assertions. The performances of FREEP 1.0 are promising. FREEP 1.0 can be downloaded at http:// www.di.unito.it/∼pozz...
متن کاملAn efficient symmetric polynomial-based key establishment protocol for wireless sensor networks
An essential requirement for providing secure services in wireless sensor networks is the ability to establish pairwise keys among sensors. Due to resource constraints on the sensors, the key establishment scheme should not create significant overhead. To date, several key establishment schemes have been proposed. Some of these have appropriate connectivity and resistance against key exposure, ...
متن کاملWorst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more specifically, are usually tractable w.r.t. data complexity. Despite their potential, and partly due to the intricate interaction of nominals (O), inverses (I) and counting (Q), such fragments had not been studied so far for...
متن کاملKite systems of order 8; embedding of kite systems into bowtie systems
This article consist of two parts. In the first part, we enumerate the kite systems of order 8; in the second part, we consider embedding kite systems into bowtie systems.
متن کاملHausdorff core of a one reflex vertex polygon
In this paper we present a polynomial time algorithm for computing a Hausdorff core of a polygon with a single reflex vertex. A Hausdorff core of a polygon P is a convex polygon Q contained inside P which minimizes the Hausdorff distance between P andQ. Our algorithm essentially consists of rotating a line about the reflex vertex; this line defines a convex polygon by cutting P . To determine t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Graphs and Combinatorics
دوره 11 شماره
صفحات -
تاریخ انتشار 1995